A Holistic Approach in Embedded System Development
نویسندگان
چکیده
منابع مشابه
A Holistic Approach in Embedded System Development
We present pState, a tool for developing “complex” embedded systems by integrating validation into the design process. The goal is to reduce validation time. To this end, qualitative and quantitative properties are specified in system models expressed as pCharts, an extended version of hierarchical state machines. These properties are specified in an intuitive way such that they can be written ...
متن کاملAn embedded object approach to embedded system development
Building an embedded system from an idea to a product is a slow and expensive process requiring a lot of expertise. Depending on the developer’s expertise, the required quantity and price level of the final product, and the time and money available for development, the developer can build a device from different granularity of components, ranging from ready-made platforms, kits, and modules to ...
متن کاملTowards A Holistic Approach for Protocol Development in Sensor Networks
Technological advances in VLSI, MEMS, and wireless communication have ushered in a new age of miniature, low cost, low-energy, micro-sensors. Networks of such devices, called Wireless Sensor Networks (WSNs), hold the promise of revolutionizing sensing across a range of civil, scientific, military and industrial applications. The potentially high impact of this technology and the complex challen...
متن کاملDeveloping a Holistic Accreditation System for Medical Universities of Iran
Introduction: Accreditation is a quality assurance system in higher education in order to make sure universities meet the minimum accepted standards. In this study, the institutional accreditation system for Iran’s Medical Universities was designed as was ordered by Ministry of Health and Medical Education and with the goal of continuous improvement of quality of education, research and servic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2015
ISSN: 2075-2180
DOI: 10.4204/eptcs.187.6